Từ điển kinh doanhnaked assertionkhông có vận luật: unmetricalluận lý của một chương trình: Từ điển kỹ thuậtlogic of a programcó luận chứng: demonstrativeargumentative